|
A Multitrack Turing machine is a specific type of Multi-tape Turing machine. In a standard n-tape Turing machine, n heads move independently along n tracks. In a n-track Turing machine, one head reads and writes on all tracks simultaneously. A tape position in a n-track Turing Machine contains n symbols from the tape alphabet. It is equivalent to the standard Turing machine and therefore accepts precisely the recursively enumerable languages. == Formal definition == A multitape Turing machine can be formally defined as a 6-tuple , where * is a finite set of states * is a finite set of symbols called the ''tape alphabet'' * * is the ''initial state'' * is the set of ''final'' or ''accepting states''. * is a relation on states and symbols called the ''transition relation''. * where 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Multi-track Turing machine」の詳細全文を読む スポンサード リンク
|